Constructor theory of life
نویسنده
چکیده
Neo-Darwinian evolutionary theory explains how the appearance of purposive design in the adaptations of living organisms can have come about without their intentionally being designed. The explanation relies crucially on the possibility of certain physical processes: mainly, gene replication and natural selection. In this paper, I show that for those processes to be possible without the design of biological adaptations being encoded in the laws of physics, those laws must have certain other properties. The theory of what these properties are is not part of evolution theory proper, yet without it the neo-Darwinian theory does not fully achieve its purpose of explaining the appearance of design. To this end, I apply constructor theory's new mode of explanation to express exactly within physics the appearance of design, no-design laws, and the logic of self-reproduction and natural selection. I conclude that self-reproduction, replication and natural selection are possible under no-design laws, the only non-trivial condition being that they allow digital information to be physically instantiated. This has an exact characterization in the constructor theory of information. I also show that under no-design laws an accurate replicator requires the existence of a 'vehicle' constituting, together with the replicator, a self-reproducer.
منابع مشابه
Type Constructor Polymorphism for Scala: Theory and Practice (Type constructor polymorfisme voor Scala: theorie en praktijk) ; Type Constructor Polymorphism for Scala: Theory and Practice
متن کامل
Constructor theory of probability
Unitary quantum theory, having no Born Rule, is non-probabilistic. Hence the notorious problem of reconciling it with the unpredictability and appearance of stochasticity in quantum measurements. Generalizing and improving upon the so-called 'decision-theoretic approach', I shall recast that problem in the recently proposed constructor theory of information-where quantum theory is represented a...
متن کاملFormalizing Type Operations Using the "Image" Type Constructor
In this paper we introduce a new approach to formalizing certain type operations in type theory. Traditionally, many type constructors in type theory are independently axiomatized and the correctness of these axioms is argued semantically. In this paper we introduce a notion of an “image” of a given type under a mapping that captures the spirit of many of such semantical arguments. This allows ...
متن کاملBlueprint for Self-replicating and Self-assembling 3D Printers
In the 1940s Stanislaw Ulam and John Von Neumann came up with the idea of cellular Automata (CAs), which Von Neumann later used to develop a universal constructor (Neumann, 1966). The universal constructor is a pattern implemented in a CA that consists of a two parts: The universal constructor and a tape. The universal constructor reads from the tape and produces what is encoded. A universal co...
متن کاملAdjoint Rewriting and the !-type Constructor
This paper provides a sound, complete and decidable equational theory for the terms of the (I; ;?;!)-fragment of intuitionistic linear logic with respect to the class of models known as linear categories. This work uses the natural deduction style presentation of the !-type constructor in DILL so as to be able to apply the ideas of adjoint rewriting. We obtain an expansionary-rewrite rule and c...
متن کامل